Implementing a Rule-Based Contract Compliance Checker
نویسندگان
چکیده
The paper describes the design and implementation of an independent, third party contract monitoring service called Contract Compliance Checker (CCC). The CCC is provided with the specification of the contract in force, and is capable of observing and logging the relevant business-to-business (B2B) interaction events, in order to determine whether the actions of the business partners are consistent with the contract. A contract specification language called EROP (for Events, Rights, Obligations and Prohibitions) for the CCC has been developed based on business rules, that provides constructs to specify what rights, obligation and prohibitions become active and inactive after the occurrence of events related to the execution of business operations. The system has been designed to work with B2B industry standards such as ebXML and RosettaNet.
منابع مشابه
Investigation of Trustee Rule and its Applications in Banking Contracts
The Stimman rule is one of the jurisprudential rules of dealing with transactions. The concept of Stimman's rule speaks of non-guarantees. This rule has specific implications for transactions and provides for rules that violate the contract's legitimacy. The main question is what is the application and application of this rule in banking contracts? The research method in this paper is a descri...
متن کاملRule Based Business Process Compliance
In this paper we report on the development and evaluation of a business process compliance checker, based on the compliance-by-design methodology proposed by Governatori and Sadiq [9]. For a screencast see http://www.youtube.com/watch?v=gFmDQJNai_4
متن کاملA toolkit for model checking of electronic contracts
In the business world, contracts are used to regulate business interactions between trading parties. In this context, an electronic contracting systems can be used to monitor business–to–business interactions to ensure that they comply with the rights (permissions), obligations and prohibitions stipulated in contract clauses. Such an electronic contracting system will require an executable vers...
متن کاملDynamic Testing and Deployment of a Contract Monitoring Service
Internet and cloud based services involve electronic interactions that are normally regulated using service agreements (SA). Once an agreement between business partners is in place, a service can be monitored and/or enforced using an SA equivalent electronic contract. Because of the dynamic nature of such Internet and cloud based relationships, the rapidity at which electronic contracts are con...
متن کاملHigh Level Model Checker Based Testing of Electronic Contracts
Within cloud and Internet-based collaborative settings, a business contract (service agreement) is a specification that describes permissible interactions between partners. Specifically, a business contract stipulates what operations the business partners have the rights, obligations or prohibitions to execute; it also specifies when the operations are to be executed and in which order. The mai...
متن کامل